Toward an Automation of RequirementsEngineering using Scenarios

Requirements engineering is a critical task in the construction of correct computer systems. It is not however a certain task, and it causes serious problems in computer systems. This is due to the existence of a gap between users and the development process introduced by a manual interpretation of their needs. In order to ascertain an accurate translation from users requirements to spec-iications, we propose the automation of the requirement engineering process by providing tools support to requirements elicitation, and derivation of complete spec-iications. Scenarios, which constitute an intuitive way for users to describe a system behavior, are used for requirements description and we have deened a language to represent them.